Information about current research and publications related to logical approaches to knowledge representation and inference in artificial intelligence.
Research group focused on various aspects of artificial/computational intelligence, machine learning/pattern recognition and theoretical computer science.
The Artificial Intelligence group works in the primary subareas of the field -- computational linguistics, knowledge representation and reasoning, and computer vision -- and also in additional subareas such as intelligent information systems and neura...